properties of modulus of real numbers